Skip to content

Conversation

jonathanslenders
Copy link
Member

@jonathanslenders jonathanslenders commented Aug 13, 2025

Add choice shortcut for selecting an option amongst a list of choices.

Additionally:

  • Bugfix in dimension.py: fix handling of zero sized dimensions.
  • Option for adding frames for prompt inputs.
  • Typing fix in src/prompt_toolkit/input/win32.py.

@jonathanslenders jonathanslenders force-pushed the input-selection branch 5 times, most recently from 3a12cfa to c7d83db Compare August 17, 2025 20:45
@jonathanslenders jonathanslenders force-pushed the input-selection branch 5 times, most recently from 907e114 to 7362119 Compare August 26, 2025 21:38
@jonathanslenders jonathanslenders changed the title WIP: Added input_selection shortcut. WIP: Added choice shortcut. Aug 26, 2025
@jonathanslenders jonathanslenders changed the title WIP: Added choice shortcut. Add choice shortcut. Aug 26, 2025
@jonathanslenders jonathanslenders force-pushed the input-selection branch 3 times, most recently from f8d48e4 to b7b1d8c Compare August 27, 2025 10:59
Additionally:
- Bugfix in `dimension.py`: fix handling of zero sized dimensions.
- Option for adding frames for prompt inputs.
- Typing fix in `src/prompt_toolkit/input/win32.py`.
@jonathanslenders jonathanslenders merged commit 2b9cd93 into main Aug 27, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant